Вне́шний ключ (англ. foreign key) — понятие теории реляционных баз данных, относящееся к ограничениям целостности базы данных.

Неформально выражаясь, внешний ключ представляет собой подмножество атрибутов некоторой переменной отношения R₂, значения которых должны совпадать со значениями некоторого потенциального ключа некоторой переменной отношения R₁.

Формальное определение. Пусть R₁ и R₂ — две переменные отношения, не обязательно различные. Внешним ключом FK в R₂ является подмножество атрибутов переменной R₂ такое, что выполняются следующие требования:

1. В переменной отношения R₁ имеется потенциальный ключ CK такой, что FK и CK совпадают с точностью до переименования атрибутов (то есть переименованием некоторого подмножества атрибутов FK можно получить такое подмножество атрибутов FK’, что FK’ и CK совпадают как по именам, так и по типам атрибутов).
2. В любой момент времени каждое значение FK в текущем значении R₂ идентично значению CK в некотором кортеже в текущем значении R₁. Иными словами, в каждый момент времени множество всех значений FK в R₂ является (нестрогим) подмножеством значений CK в R₁.

При этом для данного конкретного внешнего ключа FK → CK отношение R₁, содержащее потенциальный ключ, называют главным, целевым, или родительским отношением, а отношение R₂, содержащее внешний ключ, называют подчинённым, или дочерним отношением.

Поддержка внешних ключей также называется соблюдением ссылочной целостности. Реляционные СУБД поддерживают автоматический контроль ссылочной целостности.